HighContrast: Kill abominable headerbar vseparator

Commit 8cd37ff0df75d890d71d40c0f23a42533853ad7b fixed a syntax error and
unwittingly released this bizarre mutant.

diff --git a/gtk/theme/HighContrast/_common.scss b/gtk/theme/HighContrast/_common.scss
index e3cd4ead5967a800a63a08cdd4abb3381ed4e9b8..46a953aaefc0411d1fe4de4d95aa43cea72678b5 100644 (file)
--- a/gtk/theme/HighContrast/_common.scss
+++ b/gtk/theme/HighContrast/_common.scss
@@ -1209,11 +1209,7 @@ headerbar {
     font-size: 80%;
     padding: 0 12px;
   }
-  & > box > separator.vertical {
-    border-width: 0 1px;
-    border-color: $fg_color;
-    border-style: solid;
-  }
+
   &.selection-mode {
     color: darken($selected_bg_color, 15%);
     text-shadow: 0 1px transparentize(black, 0.5);

diff --git a/gtk/theme/HighContrast/gtk-contained-inverse.css b/gtk/theme/HighContrast/gtk-contained-inverse.css
index a722968da5c85a5be3167667442ce44a0f288829..be87a53f6e162d1b065d5715bcda0dc4d8c66986 100644 (file)
--- a/gtk/theme/HighContrast/gtk-contained-inverse.css
+++ b/gtk/theme/HighContrast/gtk-contained-inverse.css
@@ -490,8 +490,6 @@ toolbar.inline-toolbar:backdrop, searchbar.inline-toolbar:backdrop { border-colo
 
 .titlebar .subtitle, headerbar .subtitle { font-size: 80%; padding: 0 12px; }
 
-.titlebar > box > separator.vertical, headerbar > box > separator.vertical { border-width: 0 1px; border-color: #fff; border-style: solid; }
-
 .titlebar.selection-mode, headerbar.selection-mode { color: #b7b7b7; text-shadow: 0 1px rgba(0, 0, 0, 0.5); background-image: linear-gradient(to bottom, #eaeaea, #e2e2e2); box-shadow: inset 0 -1px #262626, inset 0 1px #6f6f6f; }
 
 .titlebar.selection-mode button, headerbar.selection-mode button { border-width: 2px; border-style: solid; color: #000; background-image: none; background-color: #ddd; border-color: #9d9d9d; }

diff --git a/gtk/theme/HighContrast/gtk-contained.css b/gtk/theme/HighContrast/gtk-contained.css
index 4879324c7aacacf24e696f45b433ffba31524096..79374a85a2bfd428225628b1f89f0ff29ec85cee 100644 (file)
--- a/gtk/theme/HighContrast/gtk-contained.css
+++ b/gtk/theme/HighContrast/gtk-contained.css
@@ -494,8 +494,6 @@ toolbar.inline-toolbar:backdrop, searchbar.inline-toolbar:backdrop { border-colo
 
 .titlebar .subtitle, headerbar .subtitle { font-size: 80%; padding: 0 12px; }
 
-.titlebar > box > separator.vertical, headerbar > box > separator.vertical { border-width: 0 1px; border-color: #000; border-style: solid; }
-
 .titlebar.selection-mode, headerbar.selection-mode { color: black; text-shadow: 0 1px rgba(0, 0, 0, 0.5); background-image: linear-gradient(to bottom, #0d0d0d, #050505); box-shadow: inset 0 -1px #d9d9d9, inset 0 1px gray; }
 
 .titlebar.selection-mode button, headerbar.selection-mode button { border-width: 2px; border-style: solid; color: #fff; background-image: none; background-color: #000; border-color: black; }